﻿mezczyzna('Jarek').
mezczyzna('Slawek').
mezczyzna('Marcin').
kot('Mruczek').
pies('Szczekacz').
zwierze(X) :- kot(X); pies(X).
czlowiek(X) :- mezczyzna(X); kobieta(X).

test :- %pojedyńczy wynik
	mezczyzna(X),
	write(X). 

test1 :- %wszystkie wyniki bez odstępów
	forall(mezczyzna(X), write(X)).
	
test2 :- %wszystkie wyniki z separatorem
	mezczyzna(X),
	write(X),
	write(;),
	fail.
	test2.
	